Delete names that have been removed from the tree.
authorDan Nicolaescu <dann@ics.uci.edu>
Tue, 4 May 2010 16:53:59 +0000 (09:53 -0700)
committerDan Nicolaescu <dann@ics.uci.edu>
Tue, 4 May 2010 16:53:59 +0000 (09:53 -0700)
commitda39c0f173a3e441ec31a5d96b63d272656edd02
treee58269598f3e3daadaf168ab00cf7db4ffbbf9d4
parentfa93751b11c413e3433d9837cee774eb4f600973
Delete names that have been removed from the tree.
admin/CPP-DEFINES